Buy Used and New Steve Dunne Books

ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings: 1878 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,Steve King,Steve Dunne,Andy Galloway

ISBN 13: 9783540679448

Format: Paperback (528 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers: 4010 (Lecture Notes in Computer Science)

by Steve Dunne,Bill Stoddart

ISBN 13: 9783540347507

Format: Paperback (268 pages)
Publisher: Springer Berlin Heidelberg
Published: 10 Oct 2008

Save for later